Section: New Results

Coqoon: An IDE for interactive proof development in Coq

Participants : Enrico Tassi, Alexander Faithfull [ITU Copenhagen] , Jesper Bengtson [ITU Copenhagen] , Carst Tankink.

We carried on our experiments with the Coqoon integrated development environment. This lead to a preliminary report submitted for publication [24]